-- Valid Program
    DEF MAIN:bool == true

